?url_ver=Z39.88-2004&rft_id=10.1007%2F978-3-642-33654-6_31&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aulast=Vandin&rft.au=Vandin%2C+Andrea&rft.aufirst=Andrea&rft.title=Towards+the+specification+and+verification+of+modal+properties+for+structured+systems&rft.btitle=Graph+Transformations&rft.date=2013&rft.isbn=978-3-642-33654-6&rft.genre=bookitem