For the paper Towards Modeling and Reasoning with Uncertainty:

• Experimental data.

For the paper MAV-Vis: a Notation for Model Uncertainty:

• Study materials [1] and [2].
• User study reference card.
• Results.

For the paper Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty:

• Alloy prototype (code and theme).