@article{pub6637,
    abstract = {We present the integration of the refinement method of the VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set Hets. The connection is done via introducing the dynamic logic underlying VSE and two logic translations in the logic graph of Hets. Thus the logic-independent layers of Hets are not modified and its proof management formalism can be applied to VSE specifications. },
    year = {2012},
    title = {The VSE Refinement Method in Hets},
    journal = {Electronic Communications of the EASST},
    volume = {o.A.},
    pages = {o.A.},
    publisher = {o.A.},
    author = {Mihai Codescu and Bruno Langenstein and Christian Maeder and Till Mossakowski}
}