Transforming VHDL descriptions into formal component-based models. - Ayoub Nouri; Rahma Ben Atitallah; Anca Molnos; Christian Fabre; Frédéric Heitzmann; Olivier Debicki (RSP, 2016)