Stem teleo$ (all stems)

2 papers:

SAC-2015-MoralesNSA #named #requirements #specification

TRiStar: an i* extension for teleo-reactive systems requirements specifications (JMM, EN, PS, DA), pp. 283–288.

IFM-2012-DongolH #multi #reasoning #source code

Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands (BD, IJH), pp. 39–53.