Berrani, et al.. Mapping Sysml to Modelica to Validate Wireless Sensor Networks Non-functional Requirements. IEEE, 2013, doi:10.1109/isps.2013.6581484.