Verifying Consistency between Activity Diagrams and Their Corresponding OCL Contracts

@inproceedings{pub7415,
    author = {

Hilken, Christoph
 and 

Seiter, Julia
 and 

Wille, Robert
 and 

Kuehne, Ulrich
 and 

Drechsler, Rolf
},
    title = {Verifying Consistency between Activity Diagrams and Their Corresponding OCL Contracts},
    booktitle = {Forum on Specification & Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), October 14-16, München, Germany},
    year = {2014},
    publisher = {o.A.}
}