1. Safeware, System Safety and Computers;Leveson,1995
2. Safety-Critical Computer Systems;Storey,1996
3. Enhancing system validation with behavioral types;Gossens,2002
4. Regular expressions for program computations;Prather;Am. Math. Mon.,1997
5. Finite-state modeling, analysis and testing of system vulnerabilities—approach and case study;Belli,2003