1. Mechanized Equivalence Proofs of Pipelined Processor Software Models;Babot;Actas de las III Jornadas de Programación y Lenguajes,2003
2. Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs;Bertran,2001
3. Verifying Temporal Properties of Reactive Systems. A Step Tutorial;Bjørner,2000
4. A logical basis for component-based systems engineering;Broy,1999
5. Model Checking;Clarke,1999