Design and verification of CAN bus based devices for parking spaces detection | IEEE Conference Publication | IEEE Xplore