@book2002, Title = {7th Int'l Symposium on Formal Techniques in Real-Time and Fault-Tolerance Systems. FTRTFT 2002}, Year = {2002}, Month = {01}, Editor = {Werner Damm; Ernst-RĂ¼diger Olderog}, Publisher = {Springer-Verlag}, Series = {Lecture Notes in Computer Science 2469}, Address = {Berlin, Heidelberg}, Isbn = {3-540-44165-4}, type = {book} @COMMENTBibtex file generated on