Michael J. Vitale

• A formal methodology for constructing decoupled manufacturing systems control software components