@book{HP87,
  author = "Derek J.~Hatley and Imtiaz A.~Pirbhai",
  title = "Strategies for Real-time System Specification",
  publisher = "Wiley",
  year = "1987"
}

@book{Wel04,
  author = "Andy Wellings",
  title = "{Concurrent and Real-Time Programming in Java}",
  publisher = "Wiley",
  year = "2004"
}
