Architectural Verification of Control Systems Using CSP. - Joabe Jesus; Alexandre Mota 001; Augusto Sampaio 001; Luiz Grijo (ICFEM, 2011)