...The use of SCNSL allows the easy and complete modelling of distributed applications of networked embedded systems such as wireless sensor networks, routers, and distributed plant controllers.
SCNSL has migrated: please go to GitLab for the latest version:
https://gitlab.com/open-kappa/scnsl