@inproceedings { barbrigom2014, author = "Barros, Joćo Paulo and Brito, Isabel Sofia and Gomes, Luis", title = "Requirements Specification for Controller Design-from Use Cases to IOPT Net Models", year = "2014" }