A practical introduction to this model-based formal method, containing a broad range of illustrative examples. prečítať celé