Six Prosthetic Arm Movements Using Electromyogram Signals: A Prototype Hazard analysis of real-time safety critical systems using hierarchical communicating real-time state machines formal model Modeling real-time safety critical systems using hierarchical communicating real-time state machines and c-lang parser