A requirements description language pLSC for probabilistic branches and three-stage events.

Jinyu Kai, Huaikou Miao, Honghao Gao

Browse the full SNPD paper archive.