Discrete Event System Specification Framework for Self-Improving Healthcare Service Systems | IEEE Journals & Magazine | IEEE Xplore