%0 Conference Paper %B 20th IEEE International Conference and Workshops on the Engineering of Computer Based Systems %D 2013 %T Model Based Development with the Skeleton Design Method %A Sean Whitsitt %A Jonathan Sprinkle %A Roman Lysecky %B 20th IEEE International Conference and Workshops on the Engineering of Computer Based Systems %P 12-19 %G eng %U http://dx.doi.org/10.1109/ECBS.2013.16 %R 10.1109/ECBS.2013.16