Composing TLA+ Specifications with State Machines · HackerLangs