J. Behl, T. Distler, F. Heisig, R. Kapitza, and M. Schunter, Providing fault-tolerant execution of web-service-based workflows within clouds, Proceedings of the 2nd International Workshop on Cloud Computing Platforms, CloudCP '12, p.7, 2012.
DOI : 10.1145/2168697.2168704

G. Canfora and M. D. Penta, Service-Oriented Architectures Testing: A Survey, Software Engineering, vol.116, pp.78-105, 2009.
DOI : 10.1007/978-3-540-68524-1_19

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

S. Cherrier, Y. Ghamri-doudane, S. Lohier, and G. Roussel, D-LITe: Distributed Logic for Internet of Things Services, 2011 International Conference on Internet of Things and 4th International Conference on Cyber, Physical and Social Computing, pp.16-24, 2011.
DOI : 10.1109/iThings/CPSCom.2011.33

URL : https://hal.archives-ouvertes.fr/hal-00693377

S. Cherrier, Y. Ghamri-doudane, S. Lohier, and G. Roussel, Services collaboration in Wireless Sensor and Actuator Networks: Orchestration versus Choreography, 2012 IEEE Symposium on Computers and Communications (ISCC), 2012.
DOI : 10.1109/ISCC.2012.6249331

URL : https://hal.archives-ouvertes.fr/hal-00693513

S. Cherrier, Y. Ghamri-doudane, S. Lohier, and G. Roussel, SALT: A simple application logic description using transducers for Internet of Things, 2013 IEEE International Conference on Communications (ICC), 2013.
DOI : 10.1109/ICC.2013.6655001

URL : https://hal.archives-ouvertes.fr/hal-00821526

A. Dunkels, B. Gronvall, and T. Voigt, Contiki-a lightweight and flexible operating system for tiny networked sensors. local computer networks, Annual IEEE Conference, pp.455-462, 2004.
DOI : 10.1109/lcn.2004.38

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

H. Huang, W. Tsai, and R. Paul, Automated Model Checking and Testing for Composite Web Services, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05), pp.300-307, 2005.
DOI : 10.1109/ISORC.2005.16

D. S. Rosenblum, A practical approach to programming with assertions. Software Engineering, IEEE Transactions on, vol.21, issue.1, pp.19-31, 1995.

R. Sasnauskas, O. Landsiedel, M. H. Alizai, C. Weise, S. Kowalewski et al., KleeNet, Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN '10, pp.186-196, 2010.
DOI : 10.1145/1791212.1791235

M. Singhal and F. Mattern, An optimality proof for asynchronous recovery algorithms in distributed systems, Information Processing Letters, vol.55, issue.3, pp.117-121, 1995.
DOI : 10.1016/0020-0190(95)00094-S

L. Zhou, J. Ping, H. Xiao, Z. Wang, G. Pu et al., Automatically testing web services choreography with assertions. Formal Methods and Software Engineering, pp.138-154, 2010.
DOI : 10.1007/978-3-642-16901-4_11