Modeling Manufacturing Control Software. - Orest Storoshchuk; Shige Wang; Kang G. Shin (ICRA, 2001)