A formal methodology for constructing decoupled manufacturing systems control software components