Adding runtime specification