Model Checking for SpaceWire Link Interface Design Using Uppaal | IEEE Conference Publication | IEEE Xplore