Formalising Nondeterministic Communication in Wireless Sensor Networks Using CSP. - Andersen, Sondre Ninive; Espe, Asbjørn Engmark; Hendseth, Sverre; Mathisen, Geir (2021)