Generating Probabilistic Temporal Logic Formulas from Probabilistic Scenario-Based Specifications | IEEE Conference Publication | IEEE Xplore