1. Leveraging Software Architecturesto Guide and Verify the Development of Sense/Compute/Control ApplicationsDamien Cassou1,2, Emilie Balland1, Charles Consel1, Julia Lawall31Phoenix,…