Good MBT modeling practices