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