A formal methodology for constructing decoupled manufacturing systems control software componentsMichael J. Vitale · First published 1994Open the Tome