VISCTE: Runtime Exploration of Component-Based Systems. - André L. Santos 001; Ivo Albuquerque (CBSE, 2016)