Assessing Medical Treatment Compliance Based on Formal Process Modeling · Study