@doctoralThesis{Zhang_2015,
title={Modeling and verification of reconfigurable discrete event control systems},
author={Zhang, Jiafeng},
doi={http://dx.doi.org/10.22028/D291-23109},
year={2015}
}