2 works on record
Design, Specification and Verification of Interactive Systems '97
Computer Safety, Reliability, and Security