W. M. L. Holcombe

• A hybrid projection temporal logic for hybrid systems