4 papers:
ASE-2010-HeJBGW #approach #bound #model checking #statistics- A bounded statistical approach for model checking of unbounded until properties (RH, PJ, SB, APG, HW), pp. 225–234.
SIGAda-1999-LundqvistA #ada #formal method- A formal model of the Ada Ravenscar tasking profile; delay until (KL, LA), pp. 15–21.
LICS-1996-EtessamiW #logic- An Until Hierarchy for Temporal Logic (KE, TW), pp. 108–117.
RE-1993-LoucopoulosPMMLZ #object-oriented #requirements- I never knew my requirements were object-oriented until I talked to my analyst (PL, CP, SJM, JAM, L, LZ), pp. 226–230.
