Compute the budget of a server given its period using the
Compositional Real-Time Scheduling Framework (CSF). Support both RM
and EDF.

To reproduce the figures given in the paper, run (need gnuplot):

 make full

Based on the following paper:

@article{shin,
 author = {Shin, Insik and Lee, Insup},
 title = {Compositional Real-time Scheduling Framework with Periodic Model},
 journal = {ACM Trans. Embed. Comput. Syst.},
 issue_date = {April 2008},
 volume = {7},
 number = {3},
 month = may,
 year = {2008},
 issn = {1539-9087},
 pages = {30:1--30:39},
 articleno = {30},
 numpages = {39},
 doi = {10.1145/1347375.1347383},
 publisher = {ACM},
 address = {New York, NY, USA},
}