Peter Y. H. Wong Jeremy Gibbons On Specifying and Visualising Long-Running Empirical Studies. 76-90 2008 ICMT http://dx.doi.org/10.1007/978-3-540-69927-9_6 conf/icmt/2008 db/conf/icmt/icmt2008.html#WongG08