From the communication:
“On behalf of the Program Committee for EWiLi 2018, I am pleased to inform you that the following submission has been accepted for publication in the workshop: Modeling the Behavior of Threads in the PREEMPT_RT Linux Kernel Using Automata”
The best thing is that all the revisor’s comments are constructive. All three revisors gave an “accepted” on the paper (a paper can be: accepted, weakly accepted, borderline, weakly rejected, rejected)!
You can find the paper in this link: Paper
The presentation in this link: Slides
The model in this link: Model
The code is in this link: Code