@misc{indiciaea70ba2015ce2, title = {Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications}, author = {Damien Cassou and Emilie Balland and Charles Consel and Julia Lawall}, year = {2011}, url = {https://arxiv.org/abs/1109.2807}, note = {Source identifier: 1109.2807} }