TruckSTM: Runtime Realization of Operational State Transitions for Medium and Heavy Duty Vehicles. - Subhojeet Mukherjee; Jeffrey C. Van Etten; Namburi Rani Samyukta; Jacob Walker; Indrakshi Ray; Indrajit Ray (ACM Trans. Cyber Phys. Syst., 2020)