MetaH [#!Vestal1:1994!#] intended to support analysis, verification, and production of real-time fault tolerant secure multi processing embedded software.
