Ethan K. Jackson Janos Sztipanovits Using separation of concerns for embedded systems design. 25-34 2005 conf/emsoft/2005 EMSOFT http://doi.acm.org/10.1145/1086228.1086235 db/conf/emsoft/emsoft2005.html#JacksonS05