A methodology for designing toolkits for specification level verification of interval-constrained information systems requirements. - Steven M. Schorling; David C. Rine (Inf. Softw. Technol., 2002)