layered reference model, Networked applications, resumption, runtime verification, software interface behavior.
