Verification for Interacting Mechatronic Systems with Motion Profiles
K. Flaßkamp, C. Heinzemann, M. Krüger, S. Ober-Blöbaum, W. Schäfer, D. Steenken, A. Trächtler, H. Wehrheim, in: Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag, Heidelberg, Germany, 2014, pp. 119–128.