Bibliography

1

OSKIT homepage http://www.cs.utah.edu/flux/oskit/

2

Real Time Kernel Synthesis for Emebedded Systems - B. Tech. project report : Abheek Anand & Puneet Zaroo

3