Analyzing the light control system with PVS
Analyzing the light control system with PVS / A.L. de Groot, J.J.M. Hooman