@InProceedings{kazemeyni12ifm,
  author =       {Fatemeh Kazemeyni and Einar Broch Johnsen and Olaf Owe and Ilangko Balasingham},
  title =        {{MULE}-based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis},
  booktitle =    {Proc.\ 9th International Conference on Integrated Formal
                  Methods ({iFM}'12)},
  pages =        {143--157},
  editor =       {Diego Latella and Helen Treharne},
  year =         2012,
  series =       {Lecture Notes in Computer Science},
  volume =       7321,
  publisher =    {Springer-Verlag},
  month =        jun,
}