This paper presents a review of salient results on modeling of complex large scale embedded systems and results on composition, analysis, model checking, and verification of safety properties. It also presents a library of vehicle models designed for cruise control (and CACC).
Platform:N/A ;License: N/A
References: https://www.cse.wustl.edu/~cdgill/RTAS04/modes_ucb.pdf