Process-Algebraic Analysis of Timing and Schedulability Properties [chapter]

Anna Philippou, Oleg Sokolsky
2007 Chapman & Hall/CRC Computer & Information Science Series  
doi:10.1201/9781420011746.ch31 fatcat:cejb7zjsuzeybgvjwwurlgxrxi