Control Theory, Modal Logic and Games. - Julia F. Knight; Brian Luense (Hybrid Systems, 1996)