@inbook{cd3c84ccd9754de482b6064e0c01c45b,
title = "Towards Designing FPGA-Based Systems by Refinement in B",
author = "Sergii Ostroumov and Elena Troubitsyna and Linas Laibinis and Vyacheslav Kharchenko",
year = "2011",
doi = "10.4018/978-1-60960-747-0.ch006",
language = "Odefinierat/ok{\"a}nt",
isbn = "978-1-60960-747-0",
pages = "92–112",
editor = "L Petre and K Sere and E Troubitsyna",
booktitle = "Dependability and Computer Engineering: Concepts for Software-Intensive Systems",
publisher = "Information science reference IGI",
}