Formal Engineering with Fuzzy Logic | Publicación