Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol. - Vegard Veiset; Lars Michael Kristensen (PNSE+ModPE, 2013)

Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol. - Lars Michael Kristensen; Vegard Veiset (Petri Nets, 2016)