Stav dette: Larch : languages and tools for formal specification / John V. Guttag, James J. Horning ; with S.J. Garland [and others].