OptoNet - a case study in using rigorous analysis techniques to justify a revised product assurance strategy | IEEE Conference Publication | IEEE Xplore