Exploring the Concept of Abstract State Machines for System Runtime Enforcement