Behavioral model synthesis with Cones. - Charles E. Stroud; Ronald R. Munoz; David A. Pierce (IEEE Des. Test, 1988)