Daniel Amyot
SDL SDL specifications Text UML description languages distributed systems formal specification network software development process communication languages protocol design requirements engineering systems modeling systems security