My opinion
Still active area of research, very high industrial interest, research interest see key action of the new IST European program call
PM models close to SA description. Symbolic evaluation!
Feedback: Make explicit the extra info to help in refining the design steps