In a model-based approach, system is specified in terms of a state model via mathematical constructs (e.g set, sequence)
The basic building blocks of Z-based specifications are _______
Imported from external platform