author = { Easterbrook, Steve AND Chechik, Marsha },

title = { Guest Editorial: Special Issue on Model Checking in Requirements Engineering },

publisher = {Springer Science and Business Media LLC},

isbn = {0947-3602},

year = {2002},

url = { http://slubdd.de/katalog?TN_libero_mab2 }