@inproceedings{vanGlabbeek_Hoefner_17, address = {Uppsala, Sweden}, author = {van Glabbeek, Robert and Höfner, Peter}, booktitle = {2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017)}, date = {2017-4-15}, doi = {https://doi.org/10.4204/EPTCS.244.2}, editor = {{Hermanns, Holger and H\"{o}fner, Peter}}, month = apr, pages = {14-52}, paperurl = {https://trustworthy.systems/publications/full_text/vanGlabbeek_Hoefner_17.pdf}, publisher = {Open Publishing Association}, series = {EPTCS}, title = {Split, Send, Reassemble: {A} Formal Specification of a {CAN} bus Protocol Stack}, volume = {244}, year = {2017} }