www.prismmodelchecker.org
[SAA+08] A. Susu, A. Acquaviva, A. Atienza and and A. De Micheli. Stochastic Modeling and Analysis for Environmentally Powered Wireless Sensor Nodes. In Proc. 6th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOPT'08), pages 11-20. 2008. [bib] http://lsi.epfl.ch/page13139.html
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications