Generality in Design and Compositional Verification Using TAV. - Anders Børjesson; Kim Guldstrand Larsen; Arne Skou (Formal Methods Syst. Des., 1995)