@article(basu2011rigorous,
 author       = {Ananda Basu and Bensalem Bensalem and Marius Bozga and Jacques Combaz and Mohamad Jaber and Thanh-Hung Nguyen and Joseph Sifakis},
 year         = {2011},
 title        = {Rigorous component-based system design using the BIP framework},
 journal      = {IEEE software},
 volume       = {28},
 number       = {3},
 pages        = {41--48},
 doi          = {10.1109/MS.2011.27},
)
@inproceedings(benini1998system,
 author       = {Luca Benini and Robin Hodgson and Polly Siegel},
 year         = {1998},
 title        = {System-level power estimation and optimization},
 booktitle    = {Proceedings of the 1998 international symposium on Low power electronics and design},
 organization = {ACM},
 pages        = {173--178},
 doi          = {10.1145/280756.280881},
)
@inproceedings(boano2009controllable,
 author       = {Carlo Alberto Boano and Zhitao He and Yafei Li and Thiemo Voigt and Z{\'u}{\~n}niga, Marco and Andreas Willig},
 year         = {2009},
 title        = {Controllable radio interference for experimental and testing purposes in wireless sensor networks},
 booktitle    = {Local Computer Networks, 2009. LCN 2009. IEEE 34th Conference on},
 organization = {IEEE},
 pages        = {865--872},
 doi          = {10.1109/LCN.2009.5355013},
)
@inproceedings(bonomi2012fog,
 author       = {Flavio Bonomi and Rodolfo Milito and Jiang Zhu and Sateesh Addepalli},
 year         = {2012},
 title        = {Fog computing and its role in the internet of things},
 booktitle    = {Proceedings of the first edition of the MCC workshop on Mobile cloud computing},
 organization = {ACM},
 pages        = {13--16},
 doi          = {10.1145/2342509.2342513},
)
@inproceedings(buettner2006x,
 author       = {Michael Buettner and Gary V Yee and Eric Anderson and Richard Han},
 year         = {2006},
 title        = {X-MAC: a short preamble MAC protocol for duty-cycled wireless sensor networks},
 booktitle    = {Proceedings of the 4th international conference on Embedded networked sensor systems},
 organization = {ACM},
 pages        = {307--320},
 doi          = {10.1145/1182807.1182838},
)
@inproceedings(colitti2011rest,
 author       = {Walter Colitti and Kris Steenhaut and De Caro, Niccolo and Bogdan Buta and Virgil Dobrota},
 year         = {2011},
 title        = {REST enabled wireless sensor networks for seamless integration with web applications},
 booktitle    = {Mobile Adhoc and Sensor Systems (MASS), 2011 IEEE 8th International Conference on},
 organization = {IEEE},
 pages        = {867--872},
 doi          = {10.1109/MASS.2011.102},
)
@inproceedings(dunkels2007software,
 author       = {Adam Dunkels and Fredrik Osterlind and Nicolas Tsiftes and Zhitao He},
 year         = {2007},
 title        = {Software-based on-line energy estimation for sensor nodes},
 booktitle    = {Proceedings of the 4th workshop on Embedded networked sensors},
 organization = {ACM},
 pages        = {28--32},
 doi          = {10.1145/1278972.1278979},
)
@inproceedings(eriksson2009cooja,
 author       = {Joakim Eriksson and Fredrik {\"O}sterlind and Niclas Finne and Nicolas Tsiftes and Adam Dunkels and Thiemo Voigt and Robert Sauter and Pedro Jos{\'e} Marr{\'o}n},
 year         = {2009},
 title        = {COOJA/MSPSim: interoperability testing for wireless sensor networks},
 booktitle    = {Proceedings of the 2nd International Conference on Simulation Tools and Techniques},
 organization = {ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)},
 pages        = {27},
 doi          = {10.4108/ICST.SIMUTOOLS2009.5637},
)
@article(georgiou2017iot,
 author       = {Kyriakos Georgiou and Xavier-de Souza, Samuel and Kerstin Eder},
 year         = {2017},
 title        = {The IoT energy challenge: A software perspective},
 journal      = {IEEE Embedded Systems Letters},
 doi          = {10.1109/LES.2017.2741419},
)
@inproceedings(herault2004approximate,
 author       = {T. H{\'e}rault and R. Lassaigne and F. Magniette and S. Peyronnet},
 year         = {2004},
 title        = {Approximate probabilistic model checking},
 booktitle    = {Verification, Model Checking, and Abstract Interpretation},
 organization = {Springer},
 pages        = {73--84},
 doi          = {10.1007/978-3-540-24622-0_8},
)
@article(hoeffding1963probability,
 author       = {W. Hoeffding},
 year         = {1963},
 title        = {Probability inequalities for sums of bounded random variables},
 journal      = {Journal of the American statistical association},
 volume       = {58},
 number       = {301},
 pages        = {13--30},
 doi          = {10.1214/aoms/1177730491},
)
@inproceedings(kovatsch2011low,
 author       = {Matthias Kovatsch and Simon Duquennoy and Adam Dunkels},
 year         = {2011},
 title        = {A low-power CoAP for Contiki},
 booktitle    = {Mobile Adhoc and Sensor Systems (MASS), 2011 IEEE 8th International Conference on},
 organization = {IEEE},
 pages        = {855--860},
 doi          = {10.1109/MASS.2011.100},
)
@inproceedings(legay2010statistical,
 author       = {Axel Legay and Beno{\^\i}t Delahaye and Saddek Bensalem},
 year         = {2010},
 title        = {{Statistical model checking: An overview}},
 booktitle    = {Runtime Verification},
 organization = {Springer},
 pages        = {122--135},
 doi          = {10.1016/j.ic.2006.05.002},
)
@phdthesis(lekidis2015design,
 author       = {Alexios Lekidis},
 year         = {2015},
 title        = {Design flow for the rigorous development of networked embedded systems},
 school       = {Universit{\'e} Grenoble Alpes},
 doi          = {10.13140/RG.2.2.19387.11042},
)
@article(lekidis2018model,
 author       = {Alexios Lekidis and Emmanouela Stachtiari and Panagiotis Katsaros and Marius Bozga and Christos K Georgiadis},
 year         = {2018},
 title        = {Model-based Design of IoT Systems with the BIP Component Framework},
 journal      = {Software – Practice and Experience},
 doi          = {10.1002/spe.2568},
)
@article(martinez2015power,
 author       = {Borja Martinez and Marius Monton and Ignasi Vilajosana and Joan Daniel Prades},
 year         = {2015},
 title        = {The power of models: Modeling power consumption for IoT devices},
 journal      = {IEEE Sensors Journal},
 volume       = {15},
 number       = {10},
 pages        = {5777--5789},
 doi          = {10.1109/JSEN.2015.2445094},
)
@article(nouri2015statistical,
 author       = {Ayoub Nouri and Saddek Bensalem and Marius Bozga and Benoit Delahaye and Cyrille Jegourel and Axel Legay},
 year         = {2015},
 title        = {Statistical model checking QoS properties of systems with SBIP},
 journal      = {International Journal on Software Tools for Technology Transfer},
 volume       = {17},
 number       = {2},
 pages        = {171--185},
 doi          = {10.1007/s10009-014-0313-6},
)
@article(vilajosana2014realistic,
 author       = {Xavier Vilajosana and Qin Wang and Fabien Chraim and Thomas Watteyne and Tengfei Chang and Kristofer SJ Pister},
 year         = {2014},
 title        = {A realistic energy consumption model for TSCH networks},
 journal      = {IEEE Sensors Journal},
 volume       = {14},
 number       = {2},
 pages        = {482--489},
 doi          = {10.1109/JSEN.2013.2285411},
)
@article(zhou2011modeling,
 author       = {Hai-Ying Zhou and Dan-Yan Luo and Yan Gao and De-Cheng Zuo},
 year         = {2011},
 title        = {Modeling of node energy consumption for wireless sensor networks},
 journal      = {Wireless Sensor Network},
 volume       = {3},
 number       = {01},
 pages        = {18},
 doi          = {10.4236/wsn.2011.31003},
)