A Case-Based Analysis of Process Modeling for Public Administration System Design (Information Modelling and Knowledge Bases XXXI, 2020)