Analysis of requirements for critical control systems | Publicación