Narayanan, Sridhar (1996) Formal methods for reuse of design patterns and micro-architectures. Masters thesis, Concordia University.