selected publications academic article A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures. Science of Computer Programming. 75:615-637. 2010 conference paper Rationale and Architecture Principles for Medical Application Platforms. . 2012