Using integrated metamodeling to define OO design patterns with Object-Z and UML | IEEE Conference Publication | IEEE Xplore