1. Kronos: A model-checking tool for real- time systems;Bozga,1998
2. Verification and optimization of a plc control schedule;Brinksma;SPIN Model checking and software verification, vol 1885 of Lecture notes in computer science,2000
3. Using relative refinement for fault tolerance;Cau;FME’93: Industrial strength formal methods, vol 670 of Lecture notes in computer science,1993
4. Formalising dijkstra's development strategy within stark's formalism;Cau,1992
5. Dijkstra EW. A tutorial on the split binary semaphore.http://www.cs.utexas.edu/users/EWD/index07xx.html