Combine the concurrent roles defined by the above models into a single sequential model, and evaluate whether all tasks are being done and whether all temporal constraints are being satisfied. This is essentially a problem of turning the concurrent role models into a sequential model.