0387606300 - tools and algorithms for the construction and analysis of systems: first international workshop, tacas "95, aarhus, denmark, may 19-20, 1995 : selected papers (lecture notes in computer science)