Specification and Analysis of System Level Inter-Component Communication. - Mats Per Erik Heimdahl; Jeffrey M. Thompson (ICFEM, 1997)

On the Effectiveness of Slicing Hierarchical State Machines: A Case Study. - Mats Per Erik Heimdahl; Jeffrey M. Thompson; Michael W. Whalen (EUROMICRO, 1998)

Specification and Analysis of Intercomponent Communication. - Mats Per Erik Heimdahl; Jeffrey M. Thompson; Barbara J. Czerny (Computer, 1998)

Specification-Based Prototyping for Embedded Systems. - Jeffrey M. Thompson; Mats Per Erik Heimdahl; Steven P. Miller (ESEC / SIGSOFT FSE, 1999)

An Integrated Development Environment for Prototyping Safety Critical Systems. - Jeffrey M. Thompson; Mats Per Erik Heimdahl (IEEE International Workshop on Rapid System Prototyping, 1999)

Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study. - Jeffrey M. Thompson; Michael W. Whalen; Mats Per Erik Heimdahl (J. Univers. Comput. Sci., 2000)

Specifying and Analysing System-Level Inter-Component Interfaces. - Mats Per Erik Heimdahl; Jeffrey M. Thompson (Requir. Eng., 2000)

Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines. - Jeffrey M. Thompson; Mats Per Erik Heimdahl (RE, 2001)

NIMBUS: A Tool for Specification Centered Development. - Mats Per Erik Heimdahl; Michael W. Whalen; Jeffrey M. Thompson (RE, 2003)

Structuring product family requirements for n-dimensional and hierarchical product lines. - Jeffrey M. Thompson; Mats Per Erik Heimdahl (Requir. Eng., 2003)

Mapping concern space to software architecture: a connector-based approach. - Jing (Janet) Liu; Robyn R. Lutz; Jeffrey M. Thompson (MACS@ICSE, 2005)

Mapping concern space to software architecture: a connector-based approach. - Jing Liu; Robyn R. Lutz; Jeffrey M. Thompson (ACM SIGSOFT Softw. Eng. Notes, 2005)