Brandon Eames, Ted Bapty, Ben Abbott, Sandeep Neema, Kumar Chhokra: Model-Integrated Design Toolset for Polymorphous Computer-Based Systems. ECBS 2003: 72-79