@inproceedings{SPHJSTW092014,
               author = {S. Huster, P. Heckeler, H. Eichelberger, J. Ruf, S. Burg, T. Kropf, W. Rosenstiel},
               title = {More Flexible Object Invariants with Less Specification Overhead},
               booktitle = {Software Engineering and Formal Methods (SEFM)},
               publisher = {Springer International Publishing},
               year = {2014},
               month = {09},
               volume = {8702},
               pages = {302-316},
               series = {Lecture Notes in Computer Science},
}