Adriaan de Groot Jozef Hooman Analyzing the Light Control System with PVS. 621-649 2000 6 J. UCS 7 db/journals/jucs/jucs6.html#GrootH00 http://www.jucs.org/jucs_6_7/analyzing_the_light_control