Write UCLID5 code to complete the following task.

> Model the following feature for an automobile: A dome light that is turned on as soon as any door is opened. It stays on for 30 seconds after all doors are shut. Use the variable names light_on, door_open, time.

Reply with your UCLID5 code inside one unique code block.

I can definitely do that! Here is the UCLID5 code:
```
