Bauer, Sebastian (2012): Modal specification theories for component-based design. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics