@inproceedings{LBB14,
title = {Model-based validation of CANopen systems },
author = {Lekidis, Alexios and Bozga, Marius and Bensalem, Saddek},
month = {May},
year = {2014},
booktitle = {Proceedings of WFCS'14 - 10th IEEE International Workshop on Factory Communication Systems, Toulouse, France},
publisher = {IEEE},
team = {DCS, RSD},
}
