Venkatesh Prasad | Compositional Systems Labhttps://csl.isis.vanderbilt.edu/authors/venkatesh-prasad/Venkatesh PrasadHugoBlox Kit (https://hugoblox.com)en-usThu, 01 Jan 2009 00:00:00 +0000A Community Report of the 2008 High Confidence Transportation Cyber-Physical Systems (HCTCPS) Workshophttps://csl.isis.vanderbilt.edu/publications/hctcps/Thu, 01 Jan 2009 00:00:00 +0000https://csl.isis.vanderbilt.edu/publications/hctcps/