  *******************************************************************

  Using Formal Description Techniques - An Introduction to Estelle,
  LOTOS and SDL
  
  Copyright 1992 John Wiley and Sons Ltd.

  *******************************************************************

  Development with SDL
  
  Chapter 12
  
  F. Belina
  
  *******************************************************************

  lift.sdl:
    lift controller - SDL/PR specification
