ReTiF: A declarative real-time scheduling framework for POSIX systems