Combining model generation and passive testing in the same framework to test industrial systems

Publication
International Journal of Information System Modeling and Design