A proposal and verification of a software architecture based on LabVIEW for a multifunctional robotic end-effector. - José Marcos Silva Anjos; Guilherme Kisseloff Coracini; Emília Villani (Adv. Eng. Softw., 2013)

Integrating model checking and model based testing for industrial software development. - Emília Villani; Rodrigo Pastl Pontes; Guilherme Kisseloff Coracini; Ana Maria Ambrosio (Comput. Ind., 2019)