From application models to filmstrip models: An approach to automatic validation of model dynamics (2014)

by M Gogolla, L Hamann, F Hilken, M Kuhlmann, R B France
Venue:Modellierung, volume 225 of LNI