Using attributed event grammar environment models for automated test generation and software risk assessment of system-of-systems | IEEE Conference Publication | IEEE Xplore