@InProceedings{LMG11,
author={Markus Lumpe and Indika Meedeniya and Lars Grunske},
title={{PSPWizard}: Machine-assisted definition of temporal logical properties with specification patterns},
booktitle={Proc. 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering and 13rd European Software Engineering Conference (ESEC/FSE'11)},
year={2011},

editor={},
pages={468--471},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}