ProbabilisticCTL_Requirement (Model)

	Attribute name	Description
	Description	Text description of the particular PCTL requirement.

Container for describing a requirement formally as a PCTL statement. This is used with Prismatic.

• All: AggregatePort, DesignContainer, DesignElement, TestBench, TestBenchType, Workflow
• TBRequirementsAspect: TestBench

• Children: Condition, VTC_BusPortInterface, VTC_Signal
• Parents: TestBench

• Structural Semantics: CyPhyML.4ml