TY - RPRT TI - Sampling-based Decentralized Monitoring for Networked Embedded Systems AU - Ezio Bartocci PY - 2013 DO - 10.4204/eptcs.124.9 UR - https://arxiv.org/abs/1308.5337 ID - 1308.5337 ER -