Gavin Lowe
October 1994, 16pp.
In this paper we consider a simple example of embedded software taken from the aircraft industry. We use the formal models for scheduling analysis developed in TR-10-94 to specify, design and schedule a program that controls part of the start-up of an aircraft engine.