ROAL: A Randomly Ordered Activation and Layering Protocol for Ensuring K-Coverage in Wireless Sensor Networks | IEEE Conference Publication | IEEE Xplore