Modeling a drilling control system, as a Discrete-Event-System | IEEE Conference Publication | IEEE Xplore