Flow-Service-Quality (FSQ) engineering: foundations for high-assurance network systems development | IEEE Conference Publication | IEEE Xplore