Fawaz S. Al-Anzi David L. Spooner Modeling Behavior, A Step Towards Defining Functionally Correct Views of Complex Objects in Concurrent Engineering. 1-9 CIKM1994/P001.pdf 1994 conf/cikm/94 CIKM db/conf/cikm/cikm94.html#Al-AnziS94 db/conf/cikm/Al-AnziS94.html http://doi.acm.org/10.1145/191246.191249