Dynamic Analysis for the Reconstruction of System Behavior Models | IEEE Conference Publication | IEEE Xplore