@inproceedings{Gamatie:2011:SAS:1967677.1967688,
 author = {Gamatie, Abdoulaye and Gonnord, Laure},
 title = {Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems},
 booktitle = {Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems},
 series = {LCTES '11},
 year = {2011},
 isbn = {978-1-4503-0555-6},
 location = {Chicago, IL, USA},
 pages = {71--80},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1967677.1967688},
 doi = {http://doi.acm.org/10.1145/1967677.1967688},
 acmid = {1967688},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {abstract clocks, abstraction, compilation, embedded systems, static analysis, synchronous programming},
}