Text this: State-based versus event-based specifications for information systems