珈瑠満. Faktor 7 blutgerinnung. Sysml v2 spec.

Example of equivalence partitioning.