Towards the Formal Development of Software Based Systems: Access Control System as a Case Study | Publicación