Model-based validation of CANopen systems. - Lekidis, Alexios; Bozga, Marius; Bensalem, Saddek (2014)