@article(Akyildiz2004,
 author       = "Ian F. Akyildiz and Ismail H. Kasimoglu",
 year         = "2004",
 title        = "Wireless sensor and actor networks: research challenges",
 journal      = "Ad Hoc Networks",
 volume       = "2",
 number       = "4",
 pages        = "351 -- 367",
 doi          = "10.1016/j.adhoc.2004.04.003",
 url          = "http://www.sciencedirect.com/science/article/pii/S1570870504000319",
)
@inproceedings(balasubramaniam2008,
 author       = "D. Balasubramaniam and A. Dearle and R. Morrison",
 year         = "2008",
 title        = "A composition-based approach to the construction and dynamic reconfiguration of wireless sensor network applications",
 booktitle    = "Software Composition",
 organization = "Springer",
 pages        = "206--214",
 doi          = "10.1007/978-3-540-78789-1\_16",
)
@article(klaim2003,
 author       = "Lorenzo Bettini and Viviana Bono and Rocco De Nicola and Gianluigi Ferrari and Daniele Gorla and Michele Loreti and Eugenio Moggi and Rosario Pugliese and Emilio Tuosto and Betti Venneri",
 year         = "2003",
 title        = "The Klaim Project: Theory and Practice",
 journal      = "Global Computing: Programming Environments, Languages, Security and Analysis of Systems",
 volume       = "2874",
 pages        = "88--150",
 doi          = "10.1007/978-3-540-40042-4\_4",
)
@article(Bucur2011,
 author       = "Doina Bucur and Marta Kwiatkowska",
 year         = "2011",
 title        = "On software verification for sensor nodes",
 journal      = "Journal of Systems and Software",
 volume       = "84",
 number       = "10",
 pages        = "1693 -- 1707",
 doi          = "10.1016/j.jss.2011.04.054",
 url          = "http://www.sciencedirect.com/science/article/pii/S0164121211001051",
)
@article(Gelernter89_Linda,
 author       = "Nicholas Carriero and David Gelernter",
 year         = "1989",
 title        = "Linda in context",
 journal      = "Commun. ACM",
 volume       = "32",
 number       = "4",
 pages        = "444--458",
 doi          = "10.1145/63334.63337",
)
@article(deNicola1998_klaim,
 author       = "R. De Nicola and G.L. Ferrari and R. Pugliese",
 year         = "1998",
 title        = "KLAIM: a kernel language for agents interaction and mobility",
 journal      = "Software Engineering, IEEE Transactions on",
 volume       = "24",
 number       = "5",
 pages        = "315 --330",
 doi          = "10.1109/32.685256",
)
@article(nicola2000,
 author       = "R. De Nicola and G.L. Ferrari and R. Pugliese",
 year         = "2000",
 title        = "Programming Access Control: The Klaim Experience",
 journal      = "CONCUR 2000—Concurrency Theory",
 pages        = "48--65",
)
@article(KLAIM2006,
 author       = "R. De Nicola and D. Gorla and R. Pugliese",
 year         = "2006",
 title        = "On the expressive power of KLAIM-based calculi",
 journal      = "Theoretical Computer Science",
 volume       = "356",
 number       = "3",
 pages        = "387--421",
 doi          = "10.1016/j.tcs.2006.02.007",
)
@inproceedings(dearle2008,
 author       = "A. Dearle and D. Balasubramaniam and J. Lewis and R. Morrison",
 year         = "2008",
 title        = "A component-based model and language for wireless sensor network applications",
 booktitle    = "Computer Software and Applications, 2008. COMPSAC'08. 32nd Annual IEEE International",
 organization = "IEEE",
 pages        = "1303--1308",
 doi          = "10.1109/COMPSAC.2008.151",
)
@inproceedings(Diaz2006,
 author       = "M. Diaz and D. Garrido and L. Llopis and B. Rubio and J.M. Troya",
 year         = "2006",
 title        = "A Component Framework for Wireless Sensor and Actor Networks",
 booktitle    = "Emerging Technologies and Factory Automation, 2006. ETFA '06. IEEE Conference on",
 pages        = "300 --307",
 doi          = "10.1109/ETFA.2006.355382",
)
@inproceedings(dunkels2004contiki,
 author       = "A. Dunkels and B. Gronvall and T. Voigt",
 year         = "2004",
 title        = "Contiki-a lightweight and flexible operating system for tiny networked sensors",
 booktitle    = "Local Computer Networks, 2004. 29th Annual IEEE International Conference on",
 organization = "IEEE",
 pages        = "455--462",
 doi          = "10.1109/LCN.2004.38",
)
@article(francalanza2008,
 author       = "Adrian Francalanza and Matthew Hennessy",
 year         = "2008",
 title        = "A theory of system behaviour in the presence of node and link failure",
 journal      = "Information and Computation",
 volume       = "206",
 number       = "6",
 pages        = "711 -- 759",
 doi          = "10.1016/j.ic.2007.12.002",
 url          = "http://www.sciencedirect.com/science/article/pii/S0890540108000023",
)
@inproceedings(conf/sensornets/HarveyDLS12,
 author       = "Paul Harvey and Alan Dearle and Jonathan Lewis and Joseph S. Sventek",
 year         = "2012",
 title        = "Channel and Active Component Abstractions for WSN Programming - A Language Model with Operating System Support.",
 editor       = "Marten van Sinderen and Octavian Postolache and César Benavente-Peces",
 booktitle    = "SENSORNETS",
 publisher    = "SciTePress",
 pages        = "35--44",
 url          = "http://dblp.uni-trier.de/db/conf/sensornets/sensornets2012.html#HarveyDLS12",
)
@inproceedings(Jacoub2011,
 author       = "J. Khalil Jacoub and R. Liscano and J. Bradbury",
 year         = "2011",
 title        = "A Survey of Modeling Techniques for Wireless Sensor Networks",
 booktitle    = "SENSORCOMM 2011, The Fifth International Conference on Sensor Technologies and Applications",
 pages        = "103--109",
)
@article(Jacoub2012,
 author       = "J. Khalil Jacoub and R. Liscano and J. Bradbury",
 year         = "2012",
 title        = "Assessment of Software Modeling Techniques for Wireless Sensor Networks: A Survey",
 journal      = "Sensors and Transducers",
 volume       = "14-2",
 pages        = "18--46",
)
@inproceedings(greatduckisland,
 author       = "Alan M. Mainwaring and David E. Culler and Joseph Polastre and Robert Szewczyk and John Anderson",
 year         = "2002",
 title        = "Wireless sensor networks for habitat monitoring",
 booktitle    = "WSNA",
 pages        = "88--97",
 url          = "http://doi.acm.org/10.1145/570738.570751",
)
@article(martinez2011,
 author       = "Diego Martinez and Apolinar Gonzalez and Francisco Blanes and Raul Aquino and Jose Simo and Alfons Crespo",
 year         = "2011",
 title        = "Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks",
 journal      = "Sensors",
 volume       = "11",
 number       = "1",
 pages        = "1059--1077",
 doi          = "10.3390/s110101059",
 url          = "http://www.mdpi.com/1424-8220/11/1/1059",
)
@inproceedings(DBLP:conf/sutc/MeshkovaROJM08,
 author       = "Elena Meshkova and Janne Riihij{\"a}rvi and Frank Oldewurtel and Christine Jardak and Petri M{\"a}h{\"o}nen",
 year         = "2008",
 title        = "Service-Oriented Design Methodology for Wireless Sensor Networks: A View through Case Studies",
 booktitle    = "SUTC",
 pages        = "146--153",
 url          = "http://doi.ieeecomputersociety.org/10.1109/SUTC.2008.43",
)
@book(milner1989,
 author       = "R. Milner",
 year         = "1989",
 title        = "Communication and concurrency",
 publisher    = "Prentice-Hall, Inc.",
)
@book(pi,
 author       = "Robin Milner",
 year         = "1999",
 title        = "Communicating and Mobile Systems: The pi-Calculus",
 publisher    = "Cambridge University Press",
)
@article(milner1992,
 author       = "Robin Milner and Joachim Parrow and David Walker",
 year         = "1992",
 title        = "A calculus of mobile processes, I",
 journal      = "Inf. Comput.",
 volume       = "100",
 number       = "1",
 pages        = "1--40",
 doi          = "10.1016/0890-5401(92)90008-4",
)
@inproceedings(oleshchuk2003,
 author       = "V.A. Oleshchuk",
 year         = "2003",
 title        = "Ad-hoc sensor networks: modeling, specification and verification",
 booktitle    = "Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2003. Proceedings of the Second IEEE International Workshop on",
 organization = "IEEE",
 pages        = "76--79",
 doi          = "10.1109/IDAACS.2003.1249521",
)
@inproceedings(Papazoglou2003,
 author       = "M.P. Papazoglou",
 year         = "2003",
 title        = "Service-oriented computing: concepts, characteristics and directions",
 booktitle    = "Web Information Systems Engineering, 2003. WISE 2003. Proceedings of the Fourth International Conference on",
 pages        = "3 -- 12",
 doi          = "10.1109/WISE.2003.1254461",
)
@inproceedings(Patrignani2012,
 author       = "M. Patrignani and N. Matthys and J. Proenca and D. Hughes and D. Clarke",
 year         = "2012",
 title        = "Formal analysis of policies in wireless sensor network applications",
 booktitle    = "Software Engineering for Sensor Network Applications (SESENA), 2012 Third International Workshop on",
 pages        = "15 --21",
 doi          = "10.1109/SESENA.2012.6225728",
)
@article(Rezgui2007SOSANET,
 author       = "Abdelmounaam Rezgui and Mohamed Eltoweissy",
 year         = "2007",
 title        = "Service-oriented sensor-actuator networks: Promises, challenges, and the road ahead",
 journal      = "Computer Communications",
 volume       = "30",
 number       = "13",
 pages        = "2627--2648",
 url          = "http://dx.doi.org/10.1016/j.comcom.2007.05.036",
)
@article(sharma2009,
 author       = "O. Sharma and J. Lewis and A. Miller and A. Dearle and D. Balasubramaniam and R. Morrison and J. Sventek",
 year         = "2009",
 title        = "Towards verifying correctness of wireless sensor network applications using Insense and SPIN",
 journal      = "Model Checking Software",
 volume       = "5578",
 pages        = "223--240",
 doi          = "10.1007/978-3-642-02652-2\_19",
)