The battery market is undergoing quick expansion owing to the urgent demand for mobile devices, electric vehicles and energy storage systems, convoying the current energy transition. Beyond Li-ion batteries are of high ...

Model Driven Security has become an active area of research during the past decade. While many research works have contributed significantly to this objective by extending popular modeling notations to model security ...