Assumption/guarantee specifications in linear-time temporal logic (1996)

by B Jonsson, Y-K Tsay
Venue:in TAPSOFT ’95, LNCS 915