Development of an Industrial Real-Time System Using High-Level Design Techniques. - A. Crookell; Innes Jelly (RTS, 1996)