An Implementation of Formal Framework for Collective Systems in Air Pollution Prediction System | Publicación