Category: ITRAS – Initiative Towards Rigorous Axiomatisation of Systems