Marieke Huisman Kerry Trentelman Factorising Temporal Specifications. 87-96 2005 conf/cats/2005 CATS http://crpit.com/confpapers/CRPITV41Huisman.pdf db/conf/cats/cats2005.html#HuismanT05