Schlingloff, H Transforming temporal logic specifications H. Schlingloff, F. Kroger - Munchen Universitat Munchen 1986 - 22 p 20 cm - TUM I 8612 . Contine bibliografie