High-level Authoring of Simple Sequencing Descriptions. - Andreas Papasalouros; Christos Gitsis (ICALT, 2009)