Kerry Trentelman Marieke Huisman Extending JML Specifications with Temporal Logic. 334-348 2002 conf/amast/2002 AMAST http://link.springer.de/link/service/series/0558/bibs/2422/24220334.htm db/conf/amast/amast2002.html#TrentelmanH02