A Software and System Modeling Facility for Vehicle Environment Interactions