Steffen Peter: Tool-supported development of secure wireless sensor networks. Brandenburg University of Technology 2011, 1-222