Addressing systems verification of autonomous systems through Bi-directional model transformations: A systems model driven architecture approach. - Glenn Callow; Roy Kalawsky; Graham Watson; Yuki Okuda (SoSE, 2011)

Model-Less Location-Based Vehicle Behavior Prediction for Intelligent Vehicle. - Yuto Imanishi; Yoichi Iihoshi; Yuki Okuda; Takashi Okada (IV, 2020)