@inproceedings(Bruening:2012:TAP,
 author       = {Jens Br{\"u}ning and Martin Gogolla and Lars Hamann and Mirco Kuhlmann},
 year         = {{2012}},
 title        = {{Evaluating and Debugging OCL Expressions in UML Models}},
 editor       = {Achim~D. Brucker and Jacques Julliand},
 booktitle    = {{Proc. 6th Int. Conf. Tests and Proofs~(TAP 2012)}},
 publisher    = {{Springer, Berlin, LNCS~7305}},
 pages        = {{156--162}},
 doi          = {10.1007/978-3-642-30473-6_13},
)
@article(Gogolla:2007:SCP,
 author       = {Martin Gogolla and Fabian B{\"u}ttner and Mark Richters},
 year         = {{2007}},
 title        = {{USE: A UML-Based Specification Environment for Validating UML and OCL}},
 journal      = {{Science of Computer Programming}},
 volume       = {{69}},
 pages        = {{27--34}},
 doi          = {10.1016/j.scico.2007.01.013},
)
@inproceedings(DBLP:conf/tap/GogollaKH09,
 author       = {Martin Gogolla and Mirco Kuhlmann and Lars Hamann},
 year         = {2009},
 title        = {Consistency, Independence and Consequences in {UML} and {OCL} Models},
 editor       = {Catherine Dubois},
 booktitle    = {Tests and Proofs, {TAP}},
 series       = {Lecture Notes in Computer Science},
 volume       = {5668},
 publisher    = {Springer},
 pages        = {90--104},
 doi          = {10.1007/978-3-642-02949-3_8},
)
@techreport(fide16-longversion,
 author       = {Frank Hilken and Martin Gogolla},
 year         = {2016},
 title        = {{User Assistance Characteristics of the USE Model Checking Tool}},
 type         = {Technical Report},
 institution  = {University of Bremen},
 url          = {http://www.db.informatik.uni-bremen.de/publications/intern/HG2016.pdf},
)
@inproceedings(DBLP:conf/tap/HilkenNGW14,
 author       = {Frank Hilken and Philipp Niemann and Martin Gogolla and Robert Wille},
 year         = {2014},
 title        = {Filmstripping and Unrolling: {A} Comparison of Verification Approaches for {UML} and {OCL} Behavioral Models},
 editor       = {Martina Seidl and Nikolai Tillmann},
 booktitle    = {Tests and Proofs, {TAP}},
 series       = {LNCS},
 volume       = {8570},
 publisher    = {Springer},
 pages        = {99--116},
 doi          = {10.1007/978-3-319-21155-8_12},
)
@inproceedings(Kuhlmann:2012:MODELS,
 author       = {Mirco Kuhlmann and Martin Gogolla},
 year         = {{2012}},
 title        = {{From UML and OCL to Relational Logic and Back}},
 editor       = {Robert France and Juergen Kazmeier and Ruth Breu and Colin Atkinson},
 booktitle    = {{Proc. 15th Int. Conf. Model Driven Engineering Languages and Systems~(MoDELS'2012)}},
 publisher    = {{Springer, Berlin, LNCS~7590}},
 pages        = {{415--431}},
 doi          = {10.1007/978-3-642-33666-9_27},
)