1. Abadi M. and Lampon L.~ The ex~ istence of refin ement mappings In P'.roceedi~%~s t:~/' the Logic in: Computer Scie~.ce Co'ql~?rence (Edinburgh Scotland July I988). Abadi M. and Lampon L.~ The ex~ istence of refin ement mappings In P'.roceedi~%~s t:~/' the Logic in: Computer Scie~.ce Co'ql~?rence (Edinburgh Scotland July I988).
2. Alpcrn B. and Schneide:r F B Verifying temporal properues without temporal logic. ACM Tram'. Prog' Language ~-il .i (Jan. !989:). t47- 67. 10.1145/59287.62028 Alpcrn B. and Schneide:r F B Verifying temporal properues without temporal logic. ACM Tram'. Prog' Language ~-il .i (Jan. !989:). t47- 67. 10.1145/59287.62028
3. Chchc'yl M.I. Gasser M. I-tuff G.A. and Miiien .}.K. Veritymg security. ACM Comput Su.~'~. '. 13 3 (Sept. 1.981) 279~..-339. 10.1145/356850.356853 Chchc'yl M.I. Gasser M. I-tuff G.A. and Miiien .}.K. Veritymg security. ACM Comput Su.~'~. '. 13 3 (Sept. 1.981) 279~..-339. 10.1145/356850.356853
4. Fran. kli:n M K. and Gabr:ielian A. .A transformational met. hod fbr vc'rifying safi!~ty properties in real-rune' systems tn Proceedh'~:p o/" tiie l Otli IEEE Realtime systems Symposium (Santa Monica (ialif'. I989:). Fran. kli:n M K. and Gabr:ielian A. .A transformational met. hod fbr vc'rifying safi!~ty properties in real-rune' systems tn Proceedh'~:p o/" tiie l Otli IEEE Realtime systems Symposium (Santa Monica (ialif'. I989:).