Md. Abdullah Al Mamun, Christian Berger, Jörgen Hansson: MDE-based sensor management and verification for a self-driving miniature vehicle. DSM@SPLASH 2013: 1-6