VDM

1. Vienna Definition Method

2. Virtual Device Metafile.