High integrity software : the SPARK approach to safety and security : [sample chapters] /
Barnes, J. G. P.(John Gilbert Presslie)
Praxis Critical Systems Limited.
London : Addison-Wesley,
2003.