Michael A. Jackson

	2007
2		Cliff B. Jones, Ian J. Hayes, Michael A. Jackson: Deriving Specifications for Systems That Are Connected to the Physical World. Formal Methods and Hybrid Real-Time Systems 2007: 364-390
	2003
1		Ian J. Hayes, Michael A. Jackson, Cliff B. Jones: Determining the Specification of a Control System from That of Its Environment. FME 2003: 154-169

Coauthor Index

1	Ian J. Hayes	[1] [2]
2	Cliff B. Jones	[1] [2]