1. An investigation of the Therac-25 accidents;Leveson;IEEE Computer,1993
2. Control of complex mechanical systems;Auslander,1993
3. Unified real time task notation for mechanical system control;Auslander,1993
4. Switching and Finite Automata Theory;Kohavi,1970
5. Modern Digital Design;Sandige,1990