Update abstract model
Some fixes
Update Travis configuration