1. DO-333 certification case studies;Cofer,2014
2. Modelling timed reactive systems from natural-language requirements;Carvalho;Form. Asp. Comput.,2016
3. NAT2TEST tool: from natural language requirements to test cases based on CSP;Carvalho,2015
4. Software Requirements for the A-7E Aircraft;Heninger,1978
5. Understanding Concurrent Systems;Roscoe,2010