@inproceedings{AKOP12,
  	address =	{Oxford, England},
  	author =	{Andr\'e, {\'E}tienne and Ochi, Hanen and Klai, Kais and Petrucci, Laure},
  	booktitle =	{17th {M}onterey Workshop on Development, Operation and Management of Large-Scale Complex IT Systems},
  	editor =	{Calinescu, Radu and Garlan, David},
  	month =	aug,
	pages =	{283-302}, 
   	publisher =	{Springer},
  	series =	{Lecture Notes in Computer Science},
  	title =	{A Counterexample­‐Based Incremental and Modular Verification Approach},
  	volume =	{7539}, 
  	year =	{2012},
   	lipn-category = "intc",
}