1. Mechanisms for interteam integration: Findings from five case studies;Browning;Systems Engineering: A Necessary Science,1997
2. Chilenski John Joseph Newcomb Philip H. Formal specification tools for test coverage analysis KBSE'94 Knowledge-Based Software Engineering 1994 59 68
3. Automating the generation and sequencing of test cases from model-based specifications;Dick,1993
4. Automating formal specification-based testing;Donat,1997
5. Joyce Jeffrey J. http://www.cs.ubc.ca/formalWARE