Inter-Model Consistency in UML Based on CPN Formalism | IEEE Conference Publication | IEEE Xplore