TY - CONF T1 - Model Based Development with the Skeleton Design Method T2 - 20th IEEE International Conference and Workshops on the Engineering of Computer Based Systems Y1 - 2013 A1 - Sean Whitsitt A1 - Jonathan Sprinkle A1 - Roman Lysecky JF - 20th IEEE International Conference and Workshops on the Engineering of Computer Based Systems UR - http://dx.doi.org/10.1109/ECBS.2013.16 ER -