1. Basu, S., Saha, D., Lin, Y., and Smolka, S.A. (2003). Generation of all counter-examples for Push-Down Systems
2. A symbolic model checking framework for safety analysis, diagnosis, and synthesis;Bertoli;Model Checking and Artificial Intelligence,2007
3. Symbolic synthesis of observability requirements for diagnosability;Bittner;27th Conference on Artificial Intelligence,2012
4. Diagnosability of Input Output Symbolic Transition Systems;Bourgne;1st Int. Conference on Advances in System Testing and Validation Lifecycle,2009
5. A Formal framework for the specification, verification and synthesis of diagnosers;Bozzano;27th Conference on Artificial Intelligence,2013