Specification of Timed EFSM Fault Models in SDL. - Samrat S. Batth; Elisangela Rodrigues Vieira; Ana R. Cavalli; M. Ümit Uyar (FORTE, 2007)

Towards an Automated Test Generation with Delayed Transitions for Timed Systems. - Elisangela Rodrigues Vieira; Ana R. Cavalli (RTCSA, 2007)

Network Monitoring with Real-Time Properties: A Step Forward. - Dario Vieira; Elisangela Rodrigues Vieira (SERA (selected papers), 2009)

Challenges of a Validation Process Based on Models: An Industrial Case Study. - Elisangela Rodrigues Vieira; Dario Vieira; Jean-Pierre Gallois (Bell Labs Tech. J., 2012)