A Formal Specification Language Based on Positional Relationship Between Objects in Automated Driving Systems | IEEE Conference Publication | IEEE Xplore