Lifts (elevators). Design and development of programmable electronic systems in safety-related applications for lifts (PESSRAL)