Algorithm and an Elevator Control System Example for CTL Model Update. - Laura Florentina Cacovean; Iulian Pah; Emil Marin Popa; Cristina Ioana Brumar (ICE-B, 2008)