Verification and validation of an analysis model of can-based networked control systems - Godoy, Eduardo Paciência; Sousa, Rafael Vieira de; Porto, Arthur José Vieira (ABCM Symposium Series in Mechatronics, 2008)