1. Aiguier M. Gall P. L.andMabrouki M. 2005 INCOSE Technical Measurement Guide INCOSE TP-2003-020-01.
2. Aiguier M. Gall P. L.andMabrouki M. 2011RTCA DO-333 Formal Methods Supplement to DO-178C and DO-278A
3. Aiguier M. Gall P. L.andMabrouki M. 2018PVS PVS Specification and Verification System URL:http://pvs.csl.sri.com/