Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios, Journal of Mathematics and Music, vol.330, issue.3, 2012. ,
DOI : 10.1007/s00500-004-0390-7
A Survey and Taxonomy of GALS Design Styles, IEEE Design & Test of Computers, vol.24, issue.5 ,
DOI : 10.1109/MDT.2007.151
Structured musical interactive scores (short) ,