A formal methodology for constructing decoupled manufacturing system control software components. - Michael Joseph Vitale (1994)