The production cell: A verified real-time system Chapter uri icon

publication date

  • January 1, 1996

start page

  • 208

end page

  • 227