2015
Linköping Studies in Science and Technology
Dissertation No. 1685
Bogdan T
anasa
Tim
in
g A
na
lys
is o
f D
ist
rib
ute
d E
m
be
dd
ed S
ys
te
m
s w
ith S
to
ch
as
tic W
ork
loa
d a
nd R
elia
bili
ty C
on
str
ain
ts
“Lic” — 2015/6/24 — 14:44 — page i — #1
Link¨oping Studies in Science and Technology Licentiate Thesis No. 1722
Efficient Temporal Reasoning with
Uncertainty
by
Mikael Nilsson
Department of Computer and Information Science Link¨oping University
SE-581 83 Link¨oping, Sweden
Link¨oping 2015