@article{autili2015aligning, title={Aligning qualitative, real-time, and probabilistic property specification patterns using a structured english grammar}, author={Autili, Marco and Grunske, Lars and Lumpe, Markus and Pelliccione, Patrizio and Tang, Antony}, journal={IEEE Transactions on Software Engineering}, volume={41}, number={7}, pages={620--638}, year={2015}, publisher={IEEE} }