The ubiquitous reliance on software systems is increasing the need for ensuring their correctness. Runtime enforcement is a monitoring technique that uses moni- tors that can transform the actions of a system under scrutiny in order to alter its runtime ...

The antithrombotic effect of vitamin K antagonists (VKA) depends on controlled lowering of the activity of factors (F) II and X whereas reductions in FVII and FIX play little role. PT-INR based monitoring, however, is highly influenced by FVII, which ...