1. Ammann, P., Black, P.E., 1999a. Abstracting formal specifications to generate software tests via model checking. In: Proceedings of the 18th Digital Avionics Systems Conference, vol. 2, pp. 10.A.6-1–10.A.6-10.
2. A specification-based coverage metric to evaluate test sets;Ammann,1999
3. Using model checking to generate tests from specifications;Ammann,1998
4. Using a model checker to test safety properties;Ammann,2001
5. Program monitoring with LTL in EAGLE;Barringer,2004