Author: International Workshop on Formal Methods in Engineering Design, Manufacturing, and Assembly (1st 1990 Colorado Springs, Colo.)