Sandeep Neema Sushil Birla Shige Wang Tripti Saxena Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control. 15-33 2006 ASWSD http://dx.doi.org/10.1007/978-3-540-70930-5_2 conf/aswsd/2006 db/conf/aswsd/aswsd2006.html#NeemaBWS06