David Owen Tim Menzies Lurch: a Lightweight Alternative to Model Checking. 158-165 2003 conf/seke/2003 SEKE db/conf/seke/seke2003.html#OwenM03