P. M. . Pawar, R. H. . Nielsen, N. R. . Prasad, S. . Ohmori, and R. . Prasad, “Behavioural Modelling of WSN MAC Layer Security Attacks: A Sequential UML Approach”, JCSANDM, vol. 1, no. 1, pp. 65–82, Jan. 2012.