Philipp Hoschka Automating Performance Optimisation by Heuristic Analysis of a Formal Specification. 77-92 1996 conf/forte/1996 FORTE db/conf/forte/forte1996.html#Hoschka96