Implemented the IMonitor interface for SPAN's toplevel functions. Need to implement isStopped inside each model now.