Demissie B. Aredo Olaf Owe Model-Based Verification in the Development of Dependable Systems. 327-334 2005 conf/itcc/2005-2 ITCC (2) https://doi.org/10.1109/ITCC.2005.203 https://doi.ieeecomputersociety.org/10.1109/ITCC.2005.203 db/conf/itcc/itcc2005-2.html#AredoO05