Irek Ulidowski: Proceedings of the 6th AMAST Workshop on Real-Time Systems, ARTS 2004, Stirling, UK, July 12, 2004. Electronic Notes in Theoretical Computer Science 139, Elsevier 2005