#include <qreslib.h>
Server parameters.
Relative deadline of the server.
Budget (computation time) of the server.