MetaH
Honeywell Technology Center
A software description language for real-time avionics. MetaH can be used to treat both software objects such as subprograms, packages and processes and hardware objects such as memories and processors.