Using design patterns to derive PAC architectures from Object-Z specifications | IEEE Conference Publication | IEEE Xplore