Henry-Paul Bensler

Key building blocks for implementing HBMs in a virtual testing environment - Applications and findings from SafeEV project

Peter Luttenberger, Jac Wismans, Rémy Willinger, 2016 .

Formalizing eMobility with KnowLang

Michael G. Hinchey, Emil Vassev, Nicklas Hoch, 2014, C3S2E.

The E-mobility Case Study

Ugo Montanari, Tomás Bures, Nicklas Hoch, 2015, The ASCENS Approach.