towards more specification models