Philippe Dhaussy Pierre Yves Pillain Stephen Creff Amine Raji Yves Le Traon Benoit Baudry Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation. 438-452 2009 MoDELS http://dx.doi.org/10.1007/978-3-642-04425-0_34 conf/models/2009 db/conf/models/models2009.html#DhaussyPCRTB09