Is CADP an Applicable Formal Method? - Garavel, Hubert; Lang, Frédéric; Mateescu, Radu; Serwe, Wendelin (2021)