1. Approximated parameterized verification of infinite-state processes with global conditions;Abdulla;The Journal of Formal Methods in System Design,2009
2. Limits for automatic verification of finite-state concurrent systems;Apt;Information Processing Letters,1986
3. Context-aware counter abstraction;Basler;Formal Methods in System Design,2010
4. A hierarchy of failures-based models: theory and application;Bolton;Theoretical Computer Science,2005
5. P.J. Broadfoot, Data independence in the model checking of security protocols, Ph.D. Thesis, University of Oxford, September 2001.