FramewORk for Embedded System verification - (Competition Contribution).

Pablo Gonzlez de Aledo, Pablo Snchez Espeso

Browse the full TACAS paper archive.