Hierarchical Multimodel-Based Structural Consistency Support Tools for Specifying and Prototyping Complex Systems. - Wah Kheang Cheung; Chrystopher L. Nehaniv; Kenjiro Takai Miura 001; Yin Seong Ho (COMPSAC, 1995)