TY - RPRT TI - Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications AU - Damien Cassou AU - Emilie Balland AU - Charles Consel AU - Julia Lawall PY - 2011 UR - https://arxiv.org/abs/1109.2807 ID - 1109.2807 ER -