Title: Real-time computer control of discrete systems modelled by extended state machines: a temporal logic approach
First published: 1987