Literature for OS & Tools TEMPUS project activity

1. Adamson M:
   Small Real-Time System Design
   Sigma Press Wilmslow, 1990 ISBN 1-85058-176-2
2. Allworth Z:
   Inroduction to real-time system design
   Springer-Verlag, 1987
3. Axford T:
   Concurrent programming: fundamental techniques for real-time and parallel software design
   Wiley, 1989
4. S. Bennett S:
   Real-time computer control. An introduction
   Prentice-Hall, 1994
5. Burns A, Wellings A:
   Real-time systems and their programming languages
   Addison-Wesley, 1990
6. Cooling J. E:
   Software design for real-time systems
   Chapman & Hall, 1991
7. Dordrecht:
   Formal techniques in real-time systems and fault tolerant systems
   Kluwer Academic, 1993
8. Evesham D. A.:
   Developing real-time systems. A practical introduction
   Wilmslow & Sigma, 1990
9. Goldsmith S:
   A practical guide to real-time systems development
   Prentice-Hall, 1993
10. Halang W. A.:
    Real-time systems
    World Scientific, 1992
11. Halang W. A. Stoyenko A:
    Constructing Predictable Real-time systems
    Kluwer Academic, 1991
12. Hatley, Pirbhai:
    Strategies for real-time system specification
    Dorset House, 1987
13. Heath:
    Real-time software techniques
    Van Nostrand, 1991
14. Joseph M:
    Real-Time Systems. Specification, Verification and Analysis
    Prentice-Hall
15. Laplante P.:
    Real-Time System Design and Analysis
    IEEE Computer Society Press, 1993
16. Levi S T, Agrawal A:
    Real-time system design
    McGraw Hill, 1990
17. Nissanke N:
    Real-Time Systems
    Prentice-Hall, 1997
18. Schiebe M, Pferrer S:
    Real-Time Systems Engineering and Applications
    Kluwer Academic, 1992
19. Tilborg, Koob:
    Foundations of real-time computing: Scheduling and resource management
    Kluwer Academic, 1991

    Periodicals

20. Journal of Real-Time Systems
21. IEEE Trans. on Computer
22. IEEE Trans. on Parallel and Distributed Systems
23. IEEE Trans. on Sotware Engineering