Henrio, et al.. Integrated Environment for Verifying and Running Distributed Components. Springer Berlin Heidelberg, 2016, doi:10.1007/978-3-662-49665-7_5.