A Meta-Model for Representing Consistency as Extension to the Formal Process Description | IEEE Conference Publication | IEEE Xplore