publication venue for A state-based modelling approach to develop component-based control software for flexible manufacturing systems 2003