Supervised testing of embedded concurrent software - Jahić, Jasmin 1988- (Fraunhofer Verlag, 2021)