IDRC Digital Library

Temporal logic model (tm) : a concept paper