Pawar, P. M. .; Nielsen, R. H. .; Prasad, N. R. .; Ohmori, S. .; Prasad, R. . Behavioural Modelling of WSN MAC Layer Security Attacks: A Sequential UML Approach. JCSANDM 2012, 1, 65-82.