Intent

Keep the time to perform miss1 and miss2 proportional by a factor p.

Template

PCTL
(Not available) $ $

Variations

Examples and Known Uses

The expected duration of a navigation action is proportional to the distance between two locations [66]

Relationships

See the Simultaneously pattern.