@inproceedings{8a9fefbc4821477a9e678c5dfe4458e7,
title = "A system-level specification language for system analysis",
author = "L.P.M. Benders",
year = "1996",
language = "English",
isbn = "0-8186-7355-9",
pages = "244--251",
booktitle = "Proc. IEEE Symposium and Workshop on Engineering of Computer-Based Systems",
publisher = "IEEE Computer Society",
address = "United States",
note = "conference; Proc. IEEE Symposium and Workshop on Engineering of Computer-Based Systems, Friedrichshafen, Germany, 11-15 March 1996 ; Conference date: 01-01-1996",
}