Deriving LVC State Synchronization Parameters from Interaction Requirements | IEEE Conference Publication | IEEE Xplore