@conference {235, title = {Model Based Development with the Skeleton Design Method}, booktitle = {20th IEEE International Conference and Workshops on the Engineering of Computer Based Systems}, year = {2013}, pages = {12-19}, doi = {10.1109/ECBS.2013.16}, url = {http://dx.doi.org/10.1109/ECBS.2013.16}, author = {Sean Whitsitt and Jonathan Sprinkle and Roman Lysecky} }