An HCFG Model Of A Traffic Intersection Specified Using HiMASS-j | IEEE Conference Publication | IEEE Xplore