Modular specification of forbidden states for supervisory control. - Patrik Magnusson; Martin Fabian; Knut Åkesson (WODES, 2010)