Temporal logic patterns for querying dynamic models of cellular interaction networks