Arts::SystemMidiTimer
#include <arts/artsmidi.idl>
Uses the system time (i.e. gettimeofday() and similar) to provide midi timing