Article
Version 1
This version is not peer-reviewed
The Event-B Modelling with Operators-based Refinement of NoC-based Wireless Sensors Networks
This preprint has been withdrawn.