Condition (Atom)

	Attribute name	Description
	PCTL

Formal description in PCTL of the requirement.

• TBRequirementsAspect: TestBench

• Parents: ProbabilisticCTL_Requirement, TestBench

• Structural Semantics: CyPhyML.4ml