Ghaemi, Afsoon (2011) From Domain Models to Components - A Formal Transformation Approach Towards Dependable Software Development. Masters thesis, Concordia University.