Results (2)

  • An interface algebra for real-time components
    Conference paper