On the Effectiveness of Assertion-Based Verification in an Industrial Context. - Laurence Pierre; Fabrice Pancher; Rodolphe Suescun; Jérôme Quévremont (FMICS, 2013)