Giorgio Brajnik, Daniel J. Clancy: Guiding and refining simulation using temporal logic. TIME 1996: 144-151