Principles of the Spin Model Checker, 2008. ,
Managing the verification trajectory. International journal on software tools for technology transfer, pp.246-259, 2003. ,
DOI : 10.1007/s10009-002-0078-1
URL : http://doc.utwente.nl/63270/1/fulltext.pdf
Principles of model checking, pp.19-82, 2008. ,
Diagnostic reasoning based on structure and behavior, Artificial Intelligence, vol.24, issue.1-3, pp.347-410, 1984. ,
DOI : 10.1016/0004-3702(84)90042-0
Model-based Reasoning: Troubleshooting, Exploring Artificial Intelligence: Survey Talks from the National Conferences in Artificial Intelligence, pp.297-346, 1988. ,
DOI : 10.1016/B978-0-934613-67-5.50012-5
URL : http://dspace.mit.edu/handle/1721.1/6491#files-area
Case-based reasoning: foundational issues, methodological variations, and system approaches, pp.39-59, 1994. ,
Design Patterns: Elements of Reusable Object-Oriented Software, 1995. ,
A Pattern Language: Towns, Buildings, Construction, 1977. ,
Patterns in property specifications for finite-state verification, Proceedings of the 1999 International Conference on Software Engineering. IEE, 1999. ,
BEEM: Benchmarks for Explicit Model Checkers, Model Checking Software, pp.263-267, 2007. ,
DOI : 10.1007/978-3-540-73370-6_17
Solved problems, unsolved problems and non-problems in concurrency, ACM SIGOPS Operating Systems Review, vol.19, issue.4, pp.34-44, 1985. ,
DOI : 10.1145/858336.858339
Myths about the mutual exclusion problem, Information Processing Letters, vol.12, issue.3, pp.115-116, 1981. ,
DOI : 10.1016/0020-0190(81)90106-X