CRIXUS-TRUCOV: uma ferramenta para apoiar o teste estrutural de sistemas embarcados críticos - Bartko, William (2012)