Integrating deployment architectures and resource consumption in timed object-oriented models - Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, S. Lizeth (Journal of logical and algebraic methods in programming, 2015)