@inproceedings{LLP+15,
title = { Reducing power with activity trigger analysis },
author = {L{\'{a}}n{\'{\i}}k, Jan and Legriel, Julien and Piriou, Erwan and Viaud, Emmanuel and Rahim, Fahim and Maler, Oded and Rahim, Solaiman},
year = {2015},
booktitle = {13. {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
crossref = {DBLP:conf/memocode/2015},
pages = {169--178},
team = {TEMPO},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/memocode/LanikLPVRMR15},
bibsource = {dblp computer science bibliography, http://dblp.org},
}