state-based-models
Converts lightweight text to LaTeX for software engineering mathematics and Z modelling.