Advanced Industrial Science and Technology Research Center for Information Security).
“Fail-Safe C version 1.0” [web page] (Japan: Tatsurou Sekiguchi, March 29, 2005).
257 Les Hatton, Safer C: Developing Software in High Integrity and Safety-Critical Systems (Maidenhead,
Berkshire, UK: McGraw-Hill Book Company Europe, 1995).