selected publications academic article Autosar Architecture — Automatic Checking of Implementation Conformance. ATZelektronik worldwide. 2013