HAZOP 1
Non-standard Software Testing: from Process Algebras to Programmable Hardware. John Clark (Material drawing on talks and work with Susan Stepney, Jill.
Non-standard Software Testing: from Process Algebras to Programmable Hardware.